Cliff Jones - PDFSEARCH.IO - Document Search Engine

Cliff Jones
Results: 35

#	Item
21	Using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Andrew Ireland, Gudmund Grov, Leo Freitas, Andrius Velykis & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Logical syntax Mathematical logic Formal methods Proof theory Rippling Mathematical proof Formal proof IP Theorem Logic Mathematics Automated theorem proving
22	Ours is to reason why Cliff B. Jones, Leo Freitas, Andrius Velykis School of Computing Science, Newcastle University {cliff.jones, leo.freitas, andrius.velykis}@ncl.ac.uk Abstract. It is now widely understood how to wri Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-13 17:37:26 Automated theorem proving Logical syntax Formal systems Logical truth Proof theory Proof assistant Theorem Mathematical proof KeY Logic Theoretical computer science Mathematics
23	Learning from an expert’s proof AI4FM Leo Freitas and Cliff B Jones School of Computing Science, Newcastle University, UK, {leo.freitas, cliff.jones}@ncl.ac.uk Abstract Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Automated theorem proving Mathematical logic Formal methods Logic in computer science Mathematical proof Proof assistant KeY Rippling Theorem Logic Mathematics Theoretical computer science
24	Ideas for a high-level proof strategy language Cliff B. Jones School of Computing Newcastle University Newcastle upon Tyne NE1 7RU Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Formal methods Theorem Mathematical proof Logic Mathematics Automated theorem proving
25	using AI to aid automation of proof search in Formal Methods Cliff B. Jones, Alan Bundy, Gudmund Grov, Andrew Ireland & Michael Butler Overview & motivation The AI4FM approach Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-10-30 13:19:51 Theoretical computer science Proof theory Logical syntax Formal systems Logical truth Rippling Mathematical proof Theorem KeY Logic Automated theorem proving Mathematics
26	How to say why (in AI4FM) Leo Freitas, Cliff B. Jones, Andrius Velykis, Iain Whiteside School of Computing Science, Newcastle University {name.surname}@newcastle.ac.uk October 30, 2013 Add to Reading List Source URL: www.ai4fm.org Language: English - Date: 2013-11-21 06:16:22 Theoretical computer science Formal methods Proof assistant Mathematical proof Theorem KeY Rippling Isabelle Specification language Logic Mathematics Automated theorem proving
27	WS.2011 Exercises to the Lecture FSVT Prof. Dr. Klaus Madlener Add to Reading List Source URL: www-madlener.informatik.uni-kl.de Language: English - Date: 2011-10-19 07:05:36 Automation Banks Cliff Jones Business Technology Payment systems Automated teller machine
28	COMPUTING SCIENCE What Can the pi-calculus Tell Us About the Mondex Purse System? Cliff B. Jones and Ken G. Pierce TECHNICAL REPORT SERIES Add to Reading List Source URL: eprint.ncl.ac.uk Language: English - Date: 2010-09-13 07:01:04 Technology Business Electronic commerce Embedded systems Theoretical computer science Π-calculus E Smart card Calculus Payment systems Process calculi Computing
29	Ranch Houses Are Not All the Same David Bricker Architectural Historian California Department of Transportation San Bernardino, California Introduction Add to Reading List Source URL: www.nps.gov Language: English - Date: 2014-06-12 11:35:11 William Wurster A. Quincy Jones Cliff May Sunset Alan Hess Architecture California Movie ranch Edwin Lewis Snyder Fellows of the American Institute of Architects Ranch-style house Housing
30	Can a system learn from interactive proofs? Leo Freitas, Cliff B. Jones and Andrius Velykis Newcastle University {leo.freitas,cliff.jones,andrius.velykis}@newcastle.ac.uk Abstract This paper sets out the on-going researc Add to Reading List Source URL: andrius.velykis.lt Language: English - Date: 2014-04-07 06:29:38 Automated theorem proving Logical syntax Mathematical logic Proof theory Heuristics Rippling Mathematical proof Theorem NP Logic Mathematics Theoretical computer science

UPDATE